Early History and Perspectives of Automated Deduction
نویسنده
چکیده
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summary of his scientific contributions in the context of the early approaches to theorem proving and, against this background, we point out future perspectives of Automated Deduction. Formal logic is still often looked upon as a kind of esoteric doctrine.
منابع مشابه
Automated Model Building
Preface On the history of the book: In the early 1990s several new methods and perspectives in automated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last field which brought the authors of this book together. In 1994 they met at the Conference on Automated Deductio...
متن کاملA Survey of Automated Deduction
We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.
متن کاملHistory and Perspectives of Nuclear Medicine in Myanmar
Nuclear Medicine was established in Myanmar in 1963 by Dr Soe Myint and International Atomic Energy expert Dr R. Hochel at Yangon General Hospital. Nuclear medicine diagnostic and therapeutic services started with Probe Scintillation Detector Systems and rectilinear scanner. In the early stage, many Nuclear Medicine specialists from the International Atomic Energy Agency (IAEA) spent some time ...
متن کاملThe Mechanization of Mathematics
The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.
متن کاملAutomated Deduction: a Technological Point of View
There are recent successes of automated deduction techniques in various application domains, such as mathematics, classical and nonmonotonic logics, diagnosis, planning and within software engineering. We will briefly review some of them and observe that these successes have been made only after a careful analysis of the application domain as well as the deduction system under consideration. Th...
متن کامل